law of extensionality

См. также в других словарях:

• Law of thought — The laws of thought are fundamental logical rules, with a long tradition in the history of philosophy, which collectively prescribe how a rational mind must think. To break any of the laws of thought (for example, to contradict oneself) is to be… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia

• First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

• Nominalism — is a metaphysical view in philosophy according to which general or abstract terms and predicates exist, while universals or abstract objects, which are sometimes thought to correspond to these terms, do not exist.[1] Thus, there are at least two… …   Wikipedia

• Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… …   Wikipedia

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… …   Wikipedia

• Averroes — Ibn Rušd (ابن رشد) Averroes Statue of Averroes in Cordoba Full name ʾAbū l Walīd Muḥammad ibn ʾAḥmad ibn Rušd …   Wikipedia

• Evidence — For other uses, see Evidence (disambiguation). Evidence in its broadest sense includes everything that is used to determine or demonstrate the truth of an assertion. Giving or procuring evidence is the process of using those things that are… …   Wikipedia